$\forall$$A$,$B$:Type. K $\in$ $A$$\rightarrow$$B$$\rightarrow$$A$